1. Approximation and online algorithms :
پدیدآورنده : Roberto Solis-Oba, Rudolf Fleischer (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Approximation algorithms, Congresses.,Online algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Computer graphics.,Computer networks.,Computer science-- Mathematics.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Programming-- Algorithms.,Data structures (Computer science),Discrete mathematics.,Graphics programming.,Mathematical theory of computation.,Network hardware.,Numerical analysis.
رده :
QA76
.
9
.
A43
W36
2017
2. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
3. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
4. Complexity of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis
رده :
QA
267
.
C58
5. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
6. Complexity of computer computations; proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Progamming-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
S92
1972
7. Computational and applied mathematics, I : algorithms and theory
پدیدآورنده : edited by C. Brezinski, U. Kulisch
موضوع : Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Computational and information technologies in science, engineering and education :
پدیدآورنده : Yuri Shokin, Zhassulan Shaimardanov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Technology-- Computer simulation, Congresses.,Technology-- Mathematical models, Congresses.,Technology-- Computer simulation.,Technology-- Mathematical models.
رده :
T57
9. Computational & applied mathematics,i:algorithms & theory
پدیدآورنده : BREZINSKI,CLAUDE
کتابخانه: (طهران)
موضوع : MATHEMATICS-DATA PROCESSING-CONGRESSES , NUMERICAL ANALYSIS-DATA PROCESSING-
رده :
QA
76
.
95
.
C62
1991
10. Computational diffusion MRI :
پدیدآورنده : Enrico Kaden, Francesco Grusso, Lipeng Ning, Chantal M.W. Tax, Jelle Veraart, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Diffusion magnetic resonance imaging, Congresses.,Computational Biology/Bioinformatics.,Computational Mathematics and Numerical Analysis.,Image Processing and Computer Vision.,Mathematical and Computational Biology.,Mathematics.,Statistics for Life Sciences, Medicine, Health Sciences.,Diffusion magnetic resonance imaging.,Image processing.,Life sciences: general issues.,Maths for scientists.,NATURE-- Reference.,Numerical analysis.,Probability & statistics.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
RC386
.
6
.
M34
11. Computational mathematics, nanoelectronics and astrophysics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Numerical analysis ; Data processing ; Congresses. ;
12. Computational methods and experimental measurements :
پدیدآورنده : editors, G.A. Keramidas, C.A. Brebbia ; sponsored by the International Society for Computational Methods in Engineering.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering -- Data processing -- Congresses.,Engineering mathematics -- Congresses.,Measurement -- Congresses.
رده :
TA329
.
E358
1982
13. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Numerical analysis
رده :
QA
297
.
C638
1991
14. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
موضوع : Numerical analysis - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
15. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
16. Computing methods in applied sciences and engineering, 1977, I
پدیدآورنده : Third International Symposium, December 5-9, 7791 ; ]organized by[ IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Numerical analysis,Congresses ، Science -- Data processing,Congresses ، Engineering -- Data processing
رده :
QA
297
.
I5
1977
17. Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
پدیدآورنده : Zhangxin Chen, Roland Glowinski, Kaitai Li, editors
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Data processing,Data processing -- Congresses ، Numerical analysis
رده :
Q
183
.
9
.
I285
2002
18. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
19. Design and implementation of symbolic computation systems :
پدیدآورنده : A. Miola, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
20. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده : A. Miola, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429